projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f745b55) | patch
build: add missing dependency
authorWei Liu <wei.liu2@citrix.com>
Thu, 18 May 2017 10:57:32 +0000 (11:57 +0100)
committerWei Liu <wei.liu2@citrix.com>
Thu, 18 May 2017 12:48:03 +0000 (13:48 +0100)
commit93ade42f47300f3f353aa9bd59b737bca8f2d342
tree701df8a1516adc2ddb4cea62c45aadd3dde937d5tree | snapshot
parentf745b55f137c9c086552dc7463ba2cefccab8292commit | diff
build: add missing dependency

Commit f745b55 missed install-tools' dependency on
build-tools-public-headers.

Discovered by Travis-CI.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>
Release-acked-by: Julien Grall <julien.grall@arm.com>
Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.